 | ||||||
 |
 |
 |
 |
 |
 |
 |
 | ||||||
 |
 | |||||
|
|
|
|
| TUESDAY, June 8, 2004, 10:30 AM - 12:00 PM | Room: 6D | ||
|
TOPIC AREA: SYSTEM-LEVEL DESIGN AND VERIFICATION | ||
| SESSION 4 | |||
| Tools and Strategies for Dynamic Verification | |||
| Chair: Jacob Abraham - Univ. of Texas, Austin, TX | |||
| Organizers: Adnan Aziz, Yaron Kashi | |||
| Successful dynamic verification is built upon several closely linked concepts. This session addresses a number of these concepts: recent advances in test generation targeting processors, tools for measuring and analyzing functional coverage, and a regression strategy optimized for coverage. | |||
 4.1 |
Industrial Experience with Test Generation Languages for Processor Verification |
||
| Speaker(s): | Michael Vinov - IBM Corp., Haifa, Israel | ||
| Author(s): | Michael Behm - IBM Corp., Austin, TX Yossi Lichtenstein - IBM Corp., Haifa, Israel John Ludden - IBM Corp., Burlington, VT Michal Rimon - IBM Corp., Haifa, Israel Michael Vinov - IBM Corp., Haifa, Israel | ||
| 4.2s | Defining Coverage Views to Improve Functional Coverage Analysis | ||
| Speaker(s): | Eitan Marcus - IBM Corp., Haifa, Israel | ||
| Author(s): | Sigal Asaf - IBM Corp., Haifa, Israel Eitan Marcus - IBM Corp., Haifa, Israel Avi Ziv - IBM Corp., Haifa, Israel | ||
| 4.3s | Systematic Functional Coverage Metric Synthesis from Hierarchical Temporal Event Relation Graph | ||
| Speaker(s): | Young-Su Kwon - KAIST, Daejeon, Republic of Korea | ||
| Author(s): | Young-Su Kwon - KAIST, Daejeon, Republic of Korea Young-IL Kim - KAIST, Daejeon, Republic of Korea Chong-Min Kyung - KAIST, Daejeon, Republic of Korea | ||
| 4.4 | Probabilistic Regression Suites for Functional Verification | ||
| Speaker(s): | Avi Ziv - IBM Corp., Haifa, Israel | ||
| Author(s): | Shai Fine - IBM Corp., Haifa, Israel Shmuel Ur - IBM Corp., Haifa, Israel Avi Ziv - IBM Corp., Haifa, Israel | ||
 | |||